Signed-bit representations of real numbers
نویسندگان
چکیده
منابع مشابه
Signed-bit representations of real numbers
The signed-bit representation of real numbers is like the binary representation, but in addition to 0 and 1 you can also use −1. It lends itself especially well to the constructive (intuitionistic) theory of the real numbers. The first part of the paper develops and studies the signed-bit equivalents of three common notions of a real number: Dedekind cuts, Cauchy sequences, and regular sequence...
متن کاملRepresentations of the real numbers and of the open subsets of the set of real numbers
In previous papers we have presented a unified Type 2 theory of computability and continuity and a theory of representations. In this paper the concepts developed so far are used for the foundation of a new kind of constructive analysis. Different standard representations of the real numbers are compared. It turns out that the crucial differences are of topological nature and that most of the r...
متن کاملMultiplication of Signed-digit Numbers
A recently proposed technique for common-multiplicand multiplication of binary numbers is shown to be applicable to signed-digit numbers. We prove that multiplication of a single k-bit multiplicand by n k-bit multipliers can be performed using 0:306nk additions for canonically recoded signed-digit numbers, while the binary case requires 0:375nk additions.
متن کاملSigned Binary Representations Revisited
The most common method for computing exponentiation of random elements in Abelian groups are sliding window schemes, which enhance the efficiency of the binary method at the expense of some precomputation. In groups where inversion is easy (e.g. elliptic curves), signed representations of the exponent are meaningful because they decrease the amount of required precomputation. The asymptotic bes...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Analysis
سال: 2009
ISSN: 1759-9008
DOI: 10.4115/jla.2009.1.10